Skip to content

Conversation

@traversaro
Copy link
Member

Fix #207 .

The two modifications are:

@traversaro
Copy link
Member Author

traversaro commented Oct 8, 2025

Add common --repo_contents_cache='' in .bazelrc to workaround

This does not work as --repo_contents_cache is not an option in Bazel 7. So I switched to disable directly the repo cache with common --repository_cache='', as that option is supported also in Bazel 7. The solution is not perfect as it disable the repository_cache also on Bazel 7 and for non-pixi users of Bazel, but I can't find a better solution (probably also I am not a big expert of Bazel), see also the upstream issue bazelbuild/bazel#24043 .

@traversaro
Copy link
Member Author

@jchnmck @wep21 as I guess you may be interested in bazel integration, are you interesting in double checking this PR? Thanks!

@traversaro traversaro changed the title Fix support for Bazel 8 Fix support for Bazel >= 8.3.1 Oct 8, 2025
@traversaro traversaro changed the title Fix support for Bazel >= 8.3.1 Fix support for bazel >= 8.3.1 when used in pixi Oct 8, 2025
@traversaro traversaro changed the title Fix support for bazel >= 8.3.1 when used in pixi Fix support for bazel >= 8 Oct 8, 2025
@traversaro
Copy link
Member Author

I guess we can merge, if more bazel suggestion will arise we can address them later, so I asked for a @GiulioRomualdi release.

Copy link

@wep21 wep21 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

@traversaro
Copy link
Member Author

Looks good!

Thanks!

@traversaro traversaro merged commit ab26407 into master Oct 10, 2025
60 checks passed
@traversaro traversaro deleted the fix207 branch October 10, 2025 09:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

pixi-bazel CI fails since update to bazel 8.3.1

3 participants